natural deduction

[ˈnætʃərəl dɪˈdʌkʃən]
n. 自然演绎
[网络] 自然演绎法；自然推理

热门查询

unit trust　　n. 单位信托投资公司 [网络] 单位信托基金；单位信托公司；共同基金
baht　　n. 铢（泰国货币单位）
sealer　　n. 盖印人；检验员；密封层；捕海豹的船或猎人
Looe　　abbr. Loyal Order of Overtime Experts 善于加班的忠于命令者
adulatory　　adj. 阿谀的，奉承的；谄媚的
hypoglycemic　　adj. 血糖过低的；低血糖症的
airwave　　n. 电视，广播的频道；电波
tatami　　n. （日）榻榻米 n. (Tatami)人名；(日)叠 (姓)
defector　　n. 背叛者；逃兵；叛离者
CIA　　abbr. 中央情报局（Central Intelligence Agency）
long　　n. 长时间；[语] 长音节；（服装的）长尺寸；长裤 adj. 长的；过长的；做多头的；长时间的；冗长的，长音 vi. 渴望；热望 adv. 长期地；始终 n. （英、法、德、瑞典）朗（人名）；（柬）隆（人名）
flatter　　vt. 奉承；谄媚；使高兴
discoverable　　adj. 发现的；显露的；泄露的
disaggregated　　vt. 分解；使…崩溃；解开聚集 vi. 分解；解聚 adj. 无组织的；分解的
genetic engineering　　n. 基因工程；遗传工程（学） [网络] 遗传工程学；基因工程学；基因工程技术
enuresis　　n. [泌尿] 遗尿；尿床
goofball　　n. 镇静剂；傻瓜
exportable　　adj. 可输出的；可出口的
scalding　　n. [外科] 烫伤 v. 烫（scald的ing形式） adj. 滚烫的；尖刻的
worldwide　　adj. 全世界的 adv. 在世界各地